$\forall$${\it the\_w}$:World, $i$:Id, $a$:Action($i$), $l$:IdLnk. ($\uparrow$isrcv($l$;$a$)) $\Rightarrow$ (msg($a$) $\in$ Msg)